Algebraic data type - PDFSEARCH.IO - Document Search Engine

Algebraic data type
Results: 119

#	Item
81	CATS 2004 Preliminary Version Typed Transformations of Typed Grammars: The Left Corner Transform Arthur Baars 1 Instituto Tecnol´ Add to Reading List Source URL: foswiki.cs.uu.nl Language: English - Date: 2010-11-06 19:03:36 Computing Generalized algebraic data type Left recursion Production Formal grammar Type system Monad Top-down parsing Combinatory logic Formal languages Software engineering Declarative programming
82	Simply Easy! An Implementation of a Dependently Typed Lambda Calculus Andres L¨oh Conor McBride Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00 Programming language theory Lambda calculus Generalized algebraic data type System F Simply typed lambda calculus Type system Type safety Dependent type Symbol Type theory Software engineering Theoretical computer science
83	A Practical Approach to Co-induction in Twelf Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh & DSI, University of Milan Funded in part by EU-project Mobius (IST[removed]) Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-04-27 12:26:32 Mathematical logic Programming language theory Combinatory logic Lambda calculus Twelf Ordinal number Dependently typed programming Generalized algebraic data type Theoretical computer science Logic in computer science Type theory
84	Type-Correct Changes — A Safe Approach to Version Control Implementation Jason Dagit November 13, 2010 Contents Add to Reading List Source URL: www.cs.famaf.unc.edu.ar Language: English - Date: 2014-05-30 10:52:18 Computer programming Darcs Haskell Generalized algebraic data type Type system Yi Type class Glasgow Haskell Compiler Type inference Computing Software engineering Type theory
85	A Lattice Model for Data Display William L. Hibbard1&2, Charles R. Dyer2 and Brian E. Paul1 1Space Science and Engineering Center 2Computer Sciences Department University of Wisconsin - Madison Abstract Add to Reading List Source URL: www.ssec.wisc.edu Language: English - Date: 2006-05-23 11:38:12 Linear algebra Mathematical structures Analytic geometry Algebraic structures Vector space Tuple Scalar Lattice Array data type Algebra Mathematics Abstract algebra
86	class NRWN Infrastructure Common Model «DescriptiveEvol» CommonModel::ContactInformation + Add to Reading List Source URL: www.geobase.ca Language: English - Date: 2011-12-12 11:43:18 Algebraic number theory Elementary number theory Integer Ring theory C++ classes Enumerated type Mathematics Type theory Data types
87	1 Typing deep pattern-matching in presence of polymorphic variants Jacques Garrigue† Polymorphic variants are a well-known feature of the Objective Caml programming language, and they have turned popular since their i Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:14 Computer programming Data types Functional languages Procedural programming languages Functional programming Standard ML Algebraic data type Type system Tagged union Software engineering Computing Type theory
88	Haskell Cheat Sheet Enumerations Strings Add to Reading List Source URL: www.cheat-sheets.org Language: English - Date: 2009-05-26 12:01:31 Type theory Functional programming Data types Functional languages Subroutines Algebraic data type Pattern matching Monad Type system Software engineering Computing Computer programming
89	Package ‘intergraph’ July 2, 2014 Type Package Title Coercion routines for network data objects in R Version[removed]Date[removed] Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-02 12:11:44 Algebraic graph theory Matrices Vertex Adjacency list Adjacency matrix Graph Representation Object Graph theory Mathematics 3D computer graphics
90	Package ‘dils’ July 2, 2014 Type Package Title Data-Informed Link Strength. Combine multiple-relationship networks into a single weighted network. Impute (fill-in) missing network links. Version 0.8.1 Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-02 11:37:59 Matrices Network theory Adjacency matrix Graph Matrix Adjacency list Principal component analysis Weighted network Graph theory Mathematics Algebraic graph theory

UPDATE